#ifndef __GLOBAL_
#define __GLOBAL_

extern int debug_pred_id;


#endif
